Cunha, Alcino: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Quien sabe por Algebra, sabe scientificamente

Barbosa, Luis, Cunha, Alcino, Silva, Alexandra

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 132 KB

english, 2016

2

[ACM Press the 9th ACM SIGSOFT International Workshop - Lake Buena Vista, FL, USA (2018.11.05-2018.11.05)] Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2018 - Property-based testing for the robot operating system

Santos, André, Cunha, Alcino, Macedo, Nuno

Year:

2018

Language:

english

File:

PDF, 773 KB

english, 2018

3

A Feature-based Classification of Model Repair Approaches

Macedo, Nuno, Jorge, Tiago, Cunha, Alcino

Journal:

IEEE Transactions on Software Engineering

Year:

2016

Language:

english

File:

PDF, 2.84 MB

english, 2016

4

Synthesis and Antibacterial Evaluation of 3,5-Diaryl-1,2,4-oxadiazole Derivatives

Cunha, Felipe, Nogueira, Joseli, de Aguiar, Alcino

Journal:

Journal of the Brazilian Chemical Society

Year:

2018

Language:

english

File:

PDF, 922 KB

english, 2018

5

Least-change bidirectional model transformation with QVT-R and ATL

Macedo, Nuno, Cunha, Alcino

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 2.27 MB

english, 2016

6

[IEEE 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Vancouver, BC (2017.9.24-2017.9.28)] 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Mining the usage patterns of ROS primitives

Santos, Andre, Cunha, Alcino, Macedo, Nuno, Arrais, Rafael, dos Santos, Filipe Neves

Year:

2017

Language:

english

File:

PDF, 718 KB

english, 2017

7

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Mapping between Alloy Specifications and Database Implementations

Cunha, Alcino, Pacheco, Hugo

Year:

2009

Language:

english

File:

PDF, 786 KB

english, 2009

8

Strongly Typed Rewriting For Coupled Software Transformation

Alcino Cunha, Joost Visser

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 357 KB

english, 2007

9

Automatic Visualization of Recursion Trees: a Case Study on Generic Programming

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 318 KB

english, 2003

10

Algebraic Specialization of Generic Functions for Recursive Types

Alcino Cunha, Hugo Pacheco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 298 KB

english, 2011

11

[IEEE 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Melbourne, Australia (2014.7.28-2014.8.1)] 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Bidirectional spreadsheet formulas

Macedo, Nuno, Pacheco, Hugo, Sousa, Nuno Rocha, Cunha, Alcino

Year:

2014

Language:

english

File:

PDF, 1.60 MB

english, 2014

12

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - The electrum analyzer: model checking relational first-order temporal specifications

Brunel, Julien, Chemouil, David, Cunha, Alcino, Macedo, Nuno

Year:

2018

Language:

english

File:

PDF, 579 KB

english, 2018

13

[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - Calculating with lenses

Pacheco, Hugo, Cunha, Alcino

Year:

2011

Language:

english

File:

PDF, 748 KB

english, 2011

14

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Lightweight specification and analysis of dynamic systems with rich configurations

Macedo, Nuno, Brunel, Julien, Chemouil, David, Cunha, Alcino, Kuperberg, Denis

Year:

2016

Language:

english

File:

PDF, 727 KB

english, 2016

15

[IEEE 2019 Third IEEE International Conference on Robotic Computing (IRC) - Naples, Italy (2019.2.25-2019.2.27)] 2019 Third IEEE International Conference on Robotic Computing (IRC) - Static-Time Extraction and Analysis of the ROS Computation Graph

Santos, Andre, Cunha, Alcino, Macedo, Nuno

Year:

2019

File:

PDF, 33 KB

2019

16

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

Cunha, Alcino, Macedo, Nuno

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 2.36 MB

english, 2019

17

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

Cunha, Alcino, Macedo, Nuno

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 2.36 MB

2019

18

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Model repair and transformation with Echo

Macedo, Nuno, Guimaraes, Tiago, Cunha, Alcino

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

19

Teaching how to program using automated assessment and functional glossy games (experience report)

Almeida, José Bacelar, Cunha, Alcino, Macedo, Nuno, Pacheco, Hugo, Proença, José

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

Language:

english

File:

PDF, 1.56 MB

english, 2018

20

Translating between Alloy specifications and UML class diagrams annotated with OCL

Cunha, Alcino, Garis, Ana, Riesco, Daniel

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.40 MB

english, 2015

21

Transformation of structure-shy programs with application to XPath queries and strategic functions

Alcino Cunha, Joost Visser

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 533 KB

english, 2011

22

[IEEE 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Daejeon, South Korea (2016.10.9-2016.10.14)] 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - A framework for quality assessment of ROS repositories

Santos, Andre, Cunha, Alcino, Macedo, Nuno, Lourenco, Claudio

Year:

2016

Language:

english

File:

PDF, 190 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски